DisCSP.CSP
Class DomainVector

java.lang.Object
  java.util.AbstractCollection
      java.util.AbstractList
          java.util.Vector
              DisCSP.CSP.DomainVector

All Implemented Interfaces:

java.lang.Cloneable, java.util.Collection, java.util.List, java.util.RandomAccess, java.io.Serializable

class DomainVector

extends java.util.Vector

Nested Class Summary

Nested classes inherited from class java.util.AbstractList

Field Summary

Fields inherited from class java.util.Vector

capacityIncrement, elementCount, elementData

Fields inherited from class java.util.AbstractList

modCount

Constructor Summary

DomainVector()
Costruttore di LexerException

DomainVector(int v)
Costruttore di DomainVector

DomainVector(int min, int max)
Costruttore di DomainVector

Method Summary

void	addInterval(int min, int max) Aggiunge al dominio un intervallo di cui sono specificati l'estremo inferiore e l'estremo superiore
void	addValue(int v) Aggiunge un intero al dominio
int	cardinality() Restituisce la cardinalità del dominio
int	getMaxValue() Restituisce il valore più grande appartenente al dominio
int	getMinValue() Restituisce il valore più piccolo appartenente al dominio
boolean	isPresent(int val) Controlla se un certo intero è presente nel dominio
java.lang.String	print() Stampa il dominio
void	removeValue(int v) Rimuove un valore dal dominio
int	valueAt(int index) Restituisce l'i-esimo valore del dominio

Methods inherited from class java.util.Vector

add, add, addAll, addAll, addElement, capacity, clear, clone, contains, containsAll, copyInto, elementAt, elements, ensureCapacity, equals, firstElement, get, hashCode, indexOf, indexOf, insertElementAt, isEmpty, lastElement, lastIndexOf, lastIndexOf, remove, remove, removeAll, removeAllElements, removeElement, removeElementAt, removeRange, retainAll, set, setElementAt, setSize, size, subList, toArray, toArray, toString, trimToSize

Methods inherited from class java.util.AbstractList

iterator, listIterator, listIterator

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.List

iterator, listIterator, listIterator

Constructor Detail

DomainVector

public DomainVector()

Costruttore di LexerException

DomainVector

public DomainVector(int v)

Costruttore di DomainVector

Parameters:

v - l'elemento del dominio

DomainVector

public DomainVector(int min,
                    int max)

Costruttore di DomainVector

Parameters:

min - l'estremo inferiore del dominio

max - l'estremo superiore del dominio

Method Detail

addValue

public void addValue(int v)

Aggiunge un intero al dominio

Parameters:

v - il numero intero

removeValue

public void removeValue(int v)

Rimuove un valore dal dominio

Parameters:

v - l'intero da rimuovere

valueAt

public int valueAt(int index)
            throws OutDomainException

Restituisce l'i-esimo valore del dominio

Returns:

l'i-esimo valore del dominio

Throws:

OutDomainException

addInterval

public void addInterval(int min,
                        int max)

Aggiunge al dominio un intervallo di cui sono specificati l'estremo inferiore e l'estremo superiore

Parameters:

min - l'estremo inferiore

max - l'estremo superiore

print

public java.lang.String print()

Stampa il dominio

Returns:

una stringa che rappresenta il dominio

isPresent

public boolean isPresent(int val)

Controlla se un certo intero è presente nel dominio

Parameters:

val - l'intero

Returns:

true se val è presente nel dominio, false altrimenti

cardinality

public int cardinality()

Restituisce la cardinalità del dominio

Returns:

la cardinalità del dominio

getMinValue

public int getMinValue()
                throws EmptyDomainException

Restituisce il valore più piccolo appartenente al dominio

Returns:

il valore più piccolo appartenente al dominio

Throws:

EmptyDomainException

getMaxValue

public int getMaxValue()
                throws EmptyDomainException

Restituisce il valore più grande appartenente al dominio

Returns:

il valore più grande appartenente al dominio

Throws:

EmptyDomainException